\label{theorems}

The sections that follow list all theorems in the theory
\ml{res\_quanTheory}.  The theorems listed in this chapter will be
available by name at the top-level when the \ML{} declaration
\begin{verbatim}
   open res_quanTheory
\end{verbatim}
is made.

\bigskip
\hrule